1. Galileo's logic of discovery and proof : the background, content, and use of his appropriated treatises on Aristotle's Posterior analytics

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : History -- 61th century ، Science -- Methodology,، Logic, Modern -- 61th century,، Knowledge, Theory of,History - 61th century ، Evidence,، Galilei, Galileo, 4651-2461,، Aristotle. Posterior analytics

رده :
Q
174
.
8
.
W3
1992

2. Proof and Disproof in Formal Logic

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Evidence,Logic, Modern,منطق جدید

رده :
E-Book
,

3. Proof and disproof in formal logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Evidence. ; Logic, Modern. ;

4. Proof and disproof in formal logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Evidence.,Logic, Modern.

رده :
BC
,
173
,.
B67
,
2005

5. Proof and disproof in formal logic : an introduction for programmers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Evidence,، Logic, Modern

رده :
BC
173
.
B67P7